Total Books: 1 - 3 /3
Generative and Transformational Techniques in Software Engineering
This tutorial book presents an augmented selection of material presented at the International Summer School on Generative ...
Lire la suite
Refinement Techniques in Software Engineering
This tutorial book presents an augmented selection of the material presented at the First Pernambuco Summer School on Software ...
Lire la suite
Verification, Model Checking, and Abstract Interpretation
This volume contains the revised version of papers presented at VMCAI 2002,the Third International Workshop on Verification, ...
Lire la suite
Total Books: 1 - 3 /3
